q-rel(r; x) == if (r = 0) then 0 = x if (r = 1) then qle(0; x) else qless(0; x) fi  

latex

---

clarification:

q-rel(r; x)
== if (r = 0) then 0 = x  rationals if (r = 1) then qle(0; x) else qless(0; x) fi  

latex

Definitions	s = t, rationals, if b then t else f fi , (i = j), qle(r; s), qless(r; s), #$n
FDL editor aliases	q-rel